English translation for "théorie des types homotopiques"
homotopy type theory
Example Sentences:
1.
The development of the univalent foundations is closely related with the development of homotopy type theory. Le développement des fondements univalents est étroitement lié au développement de la théorie des types homotopiques.
2.
A more detailed discussion of the history of some of the ideas that contribute to the current state of the univalent foundations can be found at the page on homotopy type theory. Une discussion plus détaillée de l'histoire de certaines des idées qui contribuent à l'état actuel des fondements univalents peut être consultée à la page sur la théorie des types homotopiques.
